A Framework for the Generation of Computer System Diagnostics in Natural Language using Finite State Methods
نویسندگان
چکیده
The need for understanding what has lead to a failure in a computer system is crucial for addressing problems with such systems. In this report we present a meta-NLG system that can be configured to generate natural explanations from error trace data originating in an external computational system. Distinguishing features are the generic nature of the system, and the underlying technology which is finite-state. Results of a two-pronged evaluation dealing with naturalness and ease of use are described. A Framework for the Generation of Computer System Diagnostics in Natural Language using Finite State Methods Rachel Farrell University of Malta, Malta. Gordon J. Pace University of Malta, Malta [email protected] Michael Rosner University of Malta, Malta [email protected] Abstract: The need for understanding what has lead to a failure in a computer system is crucial for addressing problems with such systems. In this report we present a meta-NLG system that can be configured to generate natural explanations from error trace data originating in an external computational system. Distinguishing features are the generic nature of the system, and the underlying technology which is finite-state. Results of a two-pronged evaluation dealing with naturalness and ease of use are described. The need for understanding what has lead to a failure in a computer system is crucial for addressing problems with such systems. In this report we present a meta-NLG system that can be configured to generate natural explanations from error trace data originating in an external computational system. Distinguishing features are the generic nature of the system, and the underlying technology which is finite-state. Results of a two-pronged evaluation dealing with naturalness and ease of use are described.
منابع مشابه
Numerical Study of Entropy Generation for Natural Convection in Cylindrical Cavities
In this paper, an enhanced computational code was developed using finite-volume method for solving the incompressible natural convection flow within the cylindrical cavities. Grids were generated by an easy method with a view to computer program providing. An explicit integration algorithm was applied to find the steady state condition. Also instead of the conventional algorithms of SIMPLE, SIM...
متن کاملNumerical Simulation of a Lead-Acid Battery Discharge Process using a Developed Framework on Graphic Processing Units
In the present work, a framework is developed for implementation of finite difference schemes on Graphic Processing Units (GPU). The framework is developed using the CUDA language and C++ template meta-programming techniques. The framework is also applicable for other numerical methods which can be represented similar to finite difference schemes such as finite volume methods on structured grid...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملReduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)
This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل